package org.xteam.sled.model;

import java.util.Map;

import org.xteam.sled.semantic.exp.Exp;
import org.xteam.sled.semantic.exp.VariableSubstitute;

public abstract class Label implements ISequent {
	
	@Override
	public boolean hasInputOrLabels() {
		return true;
	}

	@Override
	public boolean isLabel() {
		return true;
	}
	
	public boolean isActual() {
		return false;
	}
	
	@Override
	public boolean isContradictory() {
		return false;
	}
	
	@Override
	public int width() {
		return 0;
	}

	public void addBinding(Map<String, Exp> bindings, int position) {
	}

	public Exp substitute(VariableSubstitute subs) {
		throw new RuntimeException();
	}

}
